A PDDL+ Benchmark Problem: The Batch Chemical Plant
نویسندگان
چکیده
The PDDL+ language has been mainly devised to allow modelling of real-world systems, with continuous, timedependant dynamics. Several interesting case studies with these characteristics have been also proposed, to test the language expressiveness and the capabilities of the support tools. However, most of these case studies have not been completely developed so far. In this paper we focus on the batch chemical plant case study, a very complex hybrid system with nonlinear dynamics that could represent a challenging benchmark problem for planning techniques and tools. We present a complete PDDL+ model for such system, and show an example application where the UPMurphi universal planner is used to generate a set of production policies for the plant.
منابع مشابه
Benchmark for Hierarchical Plantwide Control of Hybrid Chemical Processes: Control of Coupled Batch and Continuous Reactors
Chemical processes often exhibit a heterogeneous character and often have a highly complex behavior. In this work, a benchmark problem for hierarchical hybrid plantwide control is presented. The considered chemical process consists of coupled batch and continuous reactors. For this process, a hierarchical solution will be motivated. In order to compensate most disturbances, time-variant paramet...
متن کاملModeling Organic Chemistry and Planning Organic Synthesis
Organic Synthesis is a computationally challenging practical problem concerned with constructing a target molecule from a set of initially available molecules via chemical reactions. This paper demonstrates how organic synthesis can be formulated as a planning problem in Artificial Intelligence, and how it can be explored using the state-of-the-art domain independent planners. To this end, we d...
متن کاملA Compilation of the Full PDDL+ Language into SMT
Planning in hybrid systems is important for dealing with realworld applications. PDDL+ supports this representation of domains with mixed discrete and continuous dynamics, and supports events and processes modeling exogenous change. Motivated by numerous SAT-based planning approaches, we propose an approach to PDDL+ planning through SMT, describing an SMT encoding that captures all the features...
متن کاملLimits and Possibilities of PDDL for Model Checking Software
Automated validation of software systems with model checking technology either certifies that a given designs contain no specification error (like a deadlock or a failed assertion), or falsifies the desired property in form of a counterexample trace from the initial configuration to the error. Since counterexamples can be seen as goal establishing plans, this paper studies the appropriateness o...
متن کاملPDDL+ Planning via Constraint Answer Set Programming
PDDL+ is an extension of PDDL that enables modelling planning domains with mixed discrete-continuous dynamics. In this paper we present a new approach to PDDL+ planning based on Constraint Answer Set Programming (CASP), i.e. ASP rules plus numerical constraints. To the best of our knowledge, ours is the first attempt to link PDDL+ planning and logic programming. We provide an encoding of PDDL+ ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010